fdt addr ${fdt_addr}

fatload @@BOOT_MEDIA@@ 0 @@XEN_IMG_ADDR@@ @@XEN_IMAGE@@
fdt resize 2048
